Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
software
7
java applications
1
object-oriented programming
1
java library
1
keymaera
1 ?
 21,213,375 websites (safe search)

  1. André Platzer @ Carnegie Mellon University

    Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
    design7
    software7
    download5
    mathematics2
    theory2
    logic2
    computer science2
    verification2
    algebra2
    algorithms1
    Seti1
    Java applets1
    numerical1
    Java applications1
    object-oriented programming1
    computer algebra1
    hybrid systems1
    computing science1
    Java library1
    theorem prover1
    java packages1
    symbolic math1
    algorithmic templates1
    Andre Platzer1
    differential dynamic logic1
    KeYmaera1
    Orbital library1
    Rhythmomachia1

    symbolaris.com - 2009-04-14

  2. André Platzer

    Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
    design7
    software7
    download5
    mathematics2
    theory2
    logic2
    computer science2
    verification2
    algebra2
    algorithms1
    Seti1
    Java applets1
    numerical1
    Java applications1
    object-oriented programming1
    computer algebra1
    hybrid systems1
    computing science1
    Java library1
    theorem prover1
    java packages1
    symbolic math1
    algorithmic templates1
    Andre Platzer1
    differential dynamic logic1
    KeYmaera1
    Orbital library1
    Rhythmomachia1

    www.phlogic.com - 2009-02-12

phone3 radius31 games5 java4 j2ee2 cell3 application3 control3 thin-client1 .net3 oop1 analysis3 c++3 learning3 flash games2 education5 mathematics2 development5 java games2 wireless4 numerical1 mobile4 design7 math2 php5 management5 engineering4

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.